K. Yorav: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Efficient Verification of Sequential and Concurrent C Programs

S. Chaki, E. Clarke, A. Groce, J. Ouaknine, O. Strichman, K. Yorav

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 627 KB

english, 2004

2

Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach

Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund Clarke

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 992 KB

english, 2003

3

Using Assumptions to Distribute CTL Model Checking

Luboš Brim, Jitka Crhová, Karen Yorav

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 216 KB

english, 2002

4

Late-Onset Granulomatous Reaction to Artecoll

Joseph Alcalay, Ronen Alkalay, Andrea Gat, Shmuel Yorav

Journal:

Dermatologic Surgery

Year:

2003

Language:

english

File:

PDF, 3.10 MB

english, 2003

5

Test sequence generation and model checking using dynamic transition relations

Sérgio Campos, Orna Grumberg, Karen Yorav, Copty Fady

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 250 KB

english, 2004

6

Assumption-based distribution of CTL model checking

Luboš Brim, Karen Yorav, Jitka Žídková

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 1.28 MB

english, 2005

7

Haifa verification conference 2007

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 127 KB

english, 2009

8

Functional verification of power gated designs by

Cindy Eisner, Amir Nahir, Karen Yorav

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 390 KB

english, 2009

9

Preface

Armin Biere, Karen Yorav

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 117 KB

english, 2011

10

Adaptive Application of SAT Solving Techniques

Ohad Shacham, Karen Yorav

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 261 KB

english, 2006

11

Development of Epidermal Cysts Following Chronic Dermabrasion

Meir Ronnen, Saul Suster, Yorav Shmuel, Miriam Schewach-Millet, Monica Hussar

Journal:

International Journal of Dermatology

Year:

1987

Language:

english

File:

PDF, 799 KB

english, 1987

12

Pemphigus Foliaceus in an 8-Year-OId Girl

S. Yorav, H. Trau, M. Schewach-Millet

Journal:

International Journal of Dermatology

Year:

1989

Language:

english

File:

PDF, 2.42 MB

english, 1989

13

Factitial Dermatitis Induced by Application of Garlic

Baruch Kaplan, Miriam Schewach-Millet, Samuel Yorav

Journal:

International Journal of Dermatology

Year:

1990

Language:

english

File:

PDF, 2.57 MB

english, 1990

14

Pemphigus in Families

Abraham Feinstein, Shmuel Yorav, Moshe Movshovitz, Miriam Schewach-Millet

Journal:

International Journal of Dermatology

Year:

1991

Language:

english

File:

PDF, 5.88 MB

english, 1991

15

Eyelid contact dermatitis due to Liquifilm® wetting solution of hard contact lenses

S. Yorav, M. Ronsen, S. Suster

Journal:

Contact Dermatitis

Year:

1987

File:

PDF, 187 KB

1987

16

Predicate Abstraction of ANSI-C Programs Using SAT

Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 215 KB

english, 2004

17

Static Analysis for State-Space Reductions Preserving Temporal Logics

Karen Yorav, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 329 KB

english, 2004

18

Syntax-directed model checking of sequential programs

Karen Yorav, Orna Grumberg

Journal:

The Journal of Logic and Algebraic Programming

Year:

2002

Language:

english

File:

PDF, 447 KB

english, 2002

19

The presence of circulating pemphigus vulgaris antibodies (PV-IgG) in first degree releatives of Jewish pemphigus patients

Yorav, S., Feinstein, A., Elstein, D., Schewach-Millet, M., Michel, B., Lyubimov, E., Milner, Y.

Journal:

Journal of Dermatological Science

Year:

1993

Language:

english

File:

PDF, 154 KB

english, 1993

20

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Scalable conditional equivalence checking: An automated invariant-generation based approach

Baumgartner, Jason, Mony, Hari, Case, Michael, Sawada, Jun, Yorav, Karen

Year:

2009

Language:

english

File:

PDF, 154 KB

english, 2009

21

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - SAT-based synthesis of clock gating functions using 3-valued abstraction

Arbel, Eli, Rokhlenko, Oleg, Yorav, Karen

Year:

2009

Language:

english

File:

PDF, 281 KB

english, 2009

22

[ACM Press the 44th annual conference - San Diego, California (2007.06.04-2007.06.08)] Proceedings of the 44th annual conference on Design automation - DAC '07 - On-the-fly resolve trace minimization

Shacham, Ohad, Yorav, Karen

Year:

2007

Language:

english

File:

PDF, 349 KB

english, 2007

23

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Behavioral consistency of C and verilog programs using bounded model checking

Clarke, Edmund, Kroening, Daniel, Yorav, Karen

Year:

2003

Language:

english

File:

PDF, 139 KB

english, 2003

24

Late-Onset Granulomatous Reaction to Artecoll

ALCALAY, JOSEPH, ALKALAY, RONEN, GAT, ANDREA, YORAV, SHMUEL

Journal:

Dermatologic Surgery

Year:

2003

Language:

english

File:

PDF, 3.10 MB

english, 2003

25

[IEEE Comput. Soc 21st International Conference on Computer Design - San Jose, CA, USA (13-15 Oct. 2003)] Proceedings 21st International Conference on Computer Design - Specifying and verifying systems with multiple clocks

Clarke, E.M., Kroening, D., Yorav, K.

Year:

2003

Language:

english

File:

PDF, 333 KB

english, 2003